package Runde6;

public class RoboSchwenkarm extends Roboter {
	private int rotationen;
	
	/**
	 * @precondition rolle != null
	 * @postcondition create's a new "Schwenk"-robot with given params
	 */
	public RoboSchwenkarm(int nr, int betriebsSt, Rolle rolle, int rotationen) throws NonUniqueException {
		super(nr,betriebsSt,rolle);
		this.rotationen = rotationen;
	}
	
	/**
	 * @precondition rotationen > 0
	 * @postcondition increases rotationen by given value
	 */
	public void addRotationen(int rotationen) {
		this.rotationen += rotationen;
	}
	
	/**
	 * @postcondition returns the robot's rotationen
	 */
	public int getRotationen() {
		return rotationen;
	}
}
